Interoperability test generation: formal definitions and algorithm
نویسندگان
چکیده
منابع مشابه
Interoperability test generation: formal definitions and algorithm
In the context of network protocols, interoperability testing is used to verify that two (or more) implementations communicate correctly while providing the services described in their respective specifications. This study is aimed at providing a method for interoperability test generation based on formal definitions. Contrary to previous works, this study takes into account quiescence of imple...
متن کاملAutomatic Interoperability Test Case Generation Based on Formal Definitions
The objective of this study is to provide methods for deriving automatically interoperability tests based on formal definitions. First, we give interoperability formal definitions taking into account both objectives of interoperability: the implementations must interact correctly and the expected service must be provided. Based on these definitions, a method for generating interoperability test...
متن کاملTest Generation from Formal Specifications
Requirements serve as the basis of test generation. Requirements for a program under test can be known to the test generator in a variety of forms. A commonly used form is a plain English language description. The tester generates test cases from these requirements. While requirements written in plain English allow quick understanding and dissemination to a wide audience, they suffer from sever...
متن کاملA New Method for Interoperability Test Generation
Interoperability testing aims at verifying the possibility for two or more components to communicate correctly while providing the foreseen services. In this paper, we describe a new method for generating interoperability test cases. This method is equivalent to classical methods in terms of non-interoperability detection. Contrary to classical approaches, this method avoids the well-known stat...
متن کاملFormalizing Interoperability Testing: Quiescence Management and Test Generation
This paper gives formal definitions of the different existing interoperability notions called interoperability criteria. The equivalence between two of them leads to a method for interoperability test generation that avoids the state explosion problem of classical approaches.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées
سال: 2008
ISSN: 1638-5713
DOI: 10.46298/arima.1884